Kotools Types
1.3.1
4.5.3
4.5.2
4.5.1
4.5.0
4.4.2
4.3.1
4.2.0
4.1.0
4.0.1
3.2.0
2.0.0
1.3.1
Kotools Types
/
kotools.types.number
/
minus
minus
@
SinceKotoolsTypes
(
version
=
"1.1"
)
infix operator
fun
Int
.
minus
(
other
:
NegativeInt
)
:
Int
@
SinceKotoolsTypes
(
version
=
"1.1"
)
infix operator
fun
Int
.
minus
(
other
:
NonZeroInt
)
:
Int
@
SinceKotoolsTypes
(
version
=
"1.1"
)
infix operator
fun
Int
.
minus
(
other
:
PositiveInt
)
:
Int
@
SinceKotoolsTypes
(
version
=
"1.1"
)
infix operator
fun
Int
.
minus
(
other
:
StrictlyNegativeInt
)
:
Int
@
SinceKotoolsTypes
(
version
=
"1.1"
)
infix operator
fun
Int
.
minus
(
other
:
StrictlyPositiveInt
)
:
Int
Subtracts the
other
value from this value.